Local programming

Results: 648



#Item
341Regional Reference Frame Sub-Commission for Europe / Communications protocol / EUREF Permanent Network / C programming language / Geodesy / Data / Information

Guidelines for EPN Data Centres & EPN Broadcasters Prepared by the EPN Coordination Group and the EPN Central Bureau (Copy bullets for Local Broadcasters and Regional Broadcasters to section 1.1 Components) 4. Requiremen

Add to Reading List

Source URL: www.euref.eu

Language: English - Date: 2014-07-15 12:00:43
342Local consistency / Constraint satisfaction / Constraint / Relational model / Artificial intelligence / Constraint inference / Decomposition method / Constraint programming / Computing / Constraint satisfaction problem

Partial Valuation Structures for Qualitative Soft Constraints Alexander Schiendorfer, Alexander Knapp, Jan-Philipp Stegh¨ofer, Gerrit Anders, Florian Siefert, and Wolfgang Reif Institute for Software & Systems Engineeri

Add to Reading List

Source URL: www.isse.uni-augsburg.de

Language: English - Date: 2014-12-01 09:23:11
343Subroutines / Closure / JavaScript / Lambda calculus / String interpolation / JavaScript syntax / Software engineering / Computing / Computer programming

Select Ways to Harness the Power of JavaScript based largely on Effective JavaScript by David Herman Always Declare Local Variables function score(player) {

Add to Reading List

Source URL: speakerd.s3.amazonaws.com

Language: English - Date: 2014-01-26 20:15:28
344Operations research / Search algorithms / Cybernetics / Genetic algorithm / Global optimization / Local search / Simulated annealing / Least squares / Linear programming / Mathematical optimization / Numerical analysis / Mathematics

Villaverde et al. BMC Systems Biology 2012, 6:75 http://www.biomedcentral.com[removed]METHODOLOGY ARTICLE Open Access

Add to Reading List

Source URL: www.ncbi.nlm.nih.gov

Language: English
345Logic / Automated theorem proving / Theoretical computer science / Mathematical logic / Statistical models / Markov logic network / Algorithm / Logic programming / Resolution / Bayesian statistics / Statistics / Mathematics

Structure Learning of Markov Logic Networks through Iterated Local Search Marenglen Biba and Stefano Ferilli and Floriana Esposito1 Abstract. Many real-world applications of AI require both probability and first-order lo

Add to Reading List

Source URL: www.comp.leeds.ac.uk

Language: English - Date: 2008-08-18 09:29:21
346Constraint programming / Graph / Flow network / Local consistency / Matroid theory / Graph theory / Mathematics / Theoretical computer science

Incremental Dynamic Controllability Revisited Mikael Nilsson and Jonas Kvarnstr¨om and Patrick Doherty Department of Computer and Information Science Link¨oping University, SE[removed]Link¨oping, Sweden {mikni,jonkv,pat

Add to Reading List

Source URL: www.ida.liu.se

Language: English - Date: 2013-03-25 09:28:17
347Computing / Constraint satisfaction / Test Data Generation / Constraint / Local consistency / Constraint optimization / Constraint programming / Software engineering / Computer programming

Constraint Satisfaction for Test Program Generation (Preliminary Version) Daniel Lewin* Laurent Fournier Moshe Levinger Evgeny Roytman Gil Shurek IBM Israel Science and Technology, Haifa Research Laboratory MATAM, Haifa

Add to Reading List

Source URL: www.research.ibm.com

Language: English - Date: 2002-10-29 03:16:31
348Computer architecture / Message passing / Session / Server / Remote procedure call / Local Procedure Call / Doors / Computing / Inter-process communication / Concurrent computing

The Lynx Distributed Programming Language: Motivation, Design, and Experience Michael L. Scott Technical Report 308

Add to Reading List

Source URL: www.cs.rochester.edu

Language: English - Date: 2011-03-26 00:13:29
349Applied mathematics / Network flow / Operations research / Local consistency / Flow network / Bellman–Ford algorithm / Decomposition method / Constraint programming / Theoretical computer science / Mathematics

Classical Dynamic Controllability Revisited A Tighter Bound on the Classical Algorithm Mikael Nilsson, Jonas Kvarnstr¨om and Patrick Doherty Department of Computer and Information Science, Link¨oping University, SE-581

Add to Reading List

Source URL: www.ida.liu.se

Language: English - Date: 2014-04-25 10:49:37
350Computing / Local consistency / Constraint satisfaction / Backjumping / Backtracking / Search algorithm / Lookup table / Decomposition method / Constraint optimization / Constraint programming / Computer programming / Software engineering

Value Ordering for Finding All Solutions Barbara M. Smith Cork Constraint Computation Centre, Ireland. [removed] Abstract

Add to Reading List

Source URL: ijcai.org

Language: English - Date: 2005-07-11 15:45:16
UPDATE